Out of curiosity, I worked out the carry bit for the addition of two 8-bit symbolic words, a[7]…a[0] and b[7]…b[0]. I intend to work out some method of intelligently re-collapsing common subexpressions. For all I know, that’ll be a non-effective, circular endeavor; i.e. what I started with might be no more complex than whatever end … Continue reading More bit stuff